#ifndef __MEMORY_HEADER__
#define __MEMORY_HEADER__
extern void* kmemcpy(void* dest, const void* src, int count);
extern void kmemfill(void* dest, int count, char value);
#endif
